Querying Log Data with Metric Temporal Logic
نویسندگان
چکیده
منابع مشابه
Querying Log Data with Metric Temporal Logic (Technical Report)
We advocate datalogMTL—a datalog extension of a Horn fragment of the metric temporal logic MTL—as a language for ontology-based access to temporal log data. We show that datalogMTL is EXPSPACE-complete even with punctual intervals, in which case full MTL is known to be undecidable. Nonrecursive datalogMTL turns out to be PSPACE-complete for combined complexity and in AC for data complexity. We ...
متن کاملMetric Temporal Logic for Ontology-Based Data Access over Log Data
We present a new metric temporal logic HornMTL over dense time and its datalog extension datalogMTL. The use of datalogMTL is demonstrated in the context of ontology-based data access over meteorological data. We show decidability of answering ontology-mediated queries for a practically relevant non-recursive fragment of datalogMTL. Finally, we discuss directions of the future work, including t...
متن کاملMetric Temporal Logic with Counting
Ability to count number of occurrences of events within a specified time interval is very useful in specification of resource bounded real time computation. In this paper, we study an extension of Metric Temporal Logic (MTL) with two different counting modalities called C and UT (until with threshold), which enhance the expressive power of MTL in orthogonal fashion. We confine ourselves only to...
متن کاملMetric Temporal Logic with Durations
We present a formal framework based on metric temporal logic (MTL) for specifying and verifying real-time systems with a continuous environment. Metric temporal logic is extended to allow speciication of properties about duration of system's states. We prove that every formula of the duration calculus (DC) can be translated into an equivalent MTL-R formula. Expressiveness of DC and MTL-R are co...
متن کاملQuerying TSQL2 Databases with Temporal Logic
We establish an exact correspondence between temporal logic and a subset of TSQL2, a consensus temporal extension of SQL-92. The translation from temporal logic to TSQLZ developed here enables a user to write high-level queries which can be evaluated against a spaceefficient representation of the database. The reverse translation, also provided, makes it possible to characterize the expressive ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2018
ISSN: 1076-9757
DOI: 10.1613/jair.1.11229